system of logic
英 [ˈsɪstəm ɒv ˈlɒdʒɪk]
美 [ˈsɪstəm əv ˈlɑːdʒɪk]
网络 穆勒名学; 逻辑体系; 逻辑系统
英英释义
noun
- a system of reasoning
双语例句
- Research of Fault Diagnosis System of the Logic Transform Device of the Flight Control System
某飞控系统逻辑转换装置故障诊断系统的实现 - A logic design automation system of generating logic diagram from hardware description
从硬件描述语言直接生成逻辑图的逻辑设计自动化系统 - Study on Initiation Control System of Explosive Logic Network
爆炸逻辑网络起爆控制系统研究 - Traditional Logic and Modern Logic: A Concurrent Analysis of the Construction of Teaching System of Logic Course
如何对待传统逻辑与现代逻辑&兼谈逻辑学教学体系的构建 - In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？） - Secondly, he put forward the new concept of practical contradiction, hence the deepened system of logic categories, which was a creation of logic system with great constructive significance.
他提出现实矛盾概念，深化了科学的逻辑范畴体系，这是逻辑理论体系的创新，具有重大建树意义； - A system of symbolic logic that represents individuals and predicates and quantification over individuals ( as well as the relations between propositions). The term "Raba" means "roaming artist".
表示个体，谓词，个体量化，和命题关系的一种形式逻辑。“热巴”：“热巴”一词，意为“流浪艺人”、也是人们对其表演形式的称谓。 - And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。 - Predicate calculus system of medium logic(ⅰ)
中介逻辑的谓词演算系统（Ⅰ） - N_l: a loose natural deduction system of temporal logic
NL：松弛时序逻辑自然推理系统